121. Software Engineering Research, Management and Applications
پدیدآورنده : \ Roger Lee Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a03,a03,Computer software -- Development -- Congresses.,نرمافزار -- تولید -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)
122. Software Engineering and Formal Methods
پدیدآورنده : \ [edited by] Carlos Canal, Akram Idani.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگرهها,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
123. Software Engineering and Formal Methods
پدیدآورنده : \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرمافزار -- مهندسی-- کنگرهها,روشهای صوری (کامپیوتر) -- کنگره ها,(روشهای صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
124. Software Engineering for Resilient Systems
پدیدآورنده : \ Alessandro Fantechi , Patrizio Pelliccione (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Reliability -- Congresses.,Computer software -- Reliability.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- اطمینانپذیری -- کنگره ها ,نرمافزار -- اطمینانپذیری
رده :
QA
76
.
758
.
S62
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
125. Software Process Improvement and Capability Determination
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Management -- Congresses.,Software engineering -- Congresses.,Computer software -- Development -- Management.
رده :
*
![](/design/images/bookmore.png)
126. Software, Services and Systems
پدیدآورنده : \ [edited by] Rocco De Nicola, Rolf Hennicker.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Systems engineering -- Congresses,Abstract data types (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,مهندسی سیستم ها -- کنگره ها ,دادههای انتزاعی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
127. Software Technologies
پدیدآورنده : \ edited by Andreas Holzinger...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Computer software -- Congresses.,Software engineering -- Congresses.,نرم افزار کامپیوتر - کنگره ها,مهندسی نرم افزار - کنگره ها.
رده :
QA
76
.
755
.
S62
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
128. Software applications in electrical engineering
پدیدآورنده : editor, P.P. Silvester
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : Electric engineering - Data processing - Congresses,Electric engineering - Computer programs - Congresses,Software engineering - Congresses
رده :
TK
153
.
I594
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
129. Software development environments and CASE technology : European symposium, Kغonigswinter, June 17-19, 1991 proceedings
پدیدآورنده :
موضوع : ، Computer software-- Development-- Congresses,، Computer-aided software engineering-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
130. Software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ; Software architecture ; Congresses. ; Software Engineering ; Aufsatzsammlung. ; Software Engineering. ; swd. ;
![](/design/images/bookmore.png)
131. Software engineering approaches for offshore and outsourced development. first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers
پدیدآورنده : Bertrand Meyer, Mathai Joseph )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer software- Development Congresses,، Software engineering Congresses,، Offshore outsourcing Software Congresses,، Offshore outsourcing- Data processing Congresses
رده :
QA
76
.
76
.
D47S42
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
132. Software engineering, artificial intelligence, networking and parallel/distributed computing 2011
پدیدآورنده : Roger Lee (Ed.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Software engineering,Artificial intelligence,Parallel processing (Electronic computers),Computer networks, Congresses,Electronic data processing, Distributed processing, Congresses
رده :
QA
،
76
.
758
،.
S6457
،
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
133. Software engineering for manufacturing systems : methods and CASE tools : IFIP TC5 International Conference on Software Engineering for Manufacturing Systems, 28-29 March 1996, Stuttgart, Germany
پدیدآورنده : edited by Alfred Storr and Dennis Jarvis
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer-aided software engineering,Congresses ، Computer integrated manufacturing systems
رده :
QA
76
.
758
.
I35
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
134. Software engineering for multi-agent systems II: research issues and practical applications
پدیدآورنده : Carlos Lucena...]et al.[, ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Software engineering,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
758
.
S453
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
135. Software engineering research, management and applications
پدیدآورنده : Lee, R. Y.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software engineering -- Congresses,، Computer software -- Development -- Congresses
رده :
QA
76
.
758
.
S637
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
136. Software engineering research, management and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ;
![](/design/images/bookmore.png)
137. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
پدیدآورنده : SLE 8002)8002 :Toulouse, France(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
رده :
QA
76
.
7
.
S587
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
138. #Software reuse and reverse engineering in practice
پدیدآورنده : #edited by P.A.V. Hall
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Computer software- Reusability- Congresses ،Software engineering- Congresses
رده :
#
TA
،#.
S6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
139. Software science and engineering : Selected Papers from the Kyoto Symposia
پدیدآورنده : edited by Ikuo Nakata, Masami Hagiya
کتابخانه: (طهران)
موضوع : Computer software Congresses, Software engineering Congresses
رده :
QA
76
.
754
.
S6472
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
140. Static Analysis
پدیدآورنده : \ Sandrine Blazy , Thomas Jensen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامهنویسی -- کنگرهها,نرمافزار -- مهندسی-- کنگرهها ,برنامهنویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)